Dissipativity Verification With Guarantees for Polynomial Systems From Noisy Input-State Data

In this letter, we investigate the verification of dissipativity properties for polynomial systems without an explicitly identified model but directly from noise-corrupted measurements. Contrary to most data-driven approaches nonlinear systems, determine over all finite time horizons using noisy input-state data. To end, propose two noise characterizations deduce data-based set-membership representations ground-truth system. Each representation then serves as a framework derive computationally tractable conditions verify with rigorous guarantees data sum squares (SOS) optimization.